Converting Software Cost Reduction Tables into Tabular Expressions
نویسنده
چکیده
Tabular expressions and the Software Cost Reduction (SCR) method are table-based specification techniques. Both of them were successfully used in practice, especially to formally specify software requirements. Tabular expressions have rather precise semantics, while SCR semantics are more intuition based. In this paper, we want to improve SCR semantics. For that, we show how to convert the SCR tables into tabular expressions. The conversion that we came up with allows the SCR tables to inherit the semantics of tabular expressions. Hence, the converted tables are more readable, and more efficient.
منابع مشابه
Tabular Expressions in Software Engineering
Tabular expressions (tables) have been used in the software development process for more than twenty years. In addition, research has been ongoing to develop semantics for tabular expressions. At this stage in the history of tabular expressions we see a slight split between those working to improve the semantic understanding of tables, and those using tables to document real industrial software...
متن کاملTabular Expressions and Their Relational Semantics
Tabular Expressions (Parnas et al. [20, 28, 32, 33]) are means to represent the complex relations that are used to specify or document software systems. A formal model and a semantics for tabular expressions are presented. The model covers most known types of tables used in software engineering, and admits precise classification and definition of new types of tables. The practical importance of...
متن کاملCase Study on Software Engineering Practices with Parnas Tables
Parnas tables are forms of tabular software requirement representations. Case studies on using Parnas tables in developing General Motors Individual Dealership Marketing Co-op web-enabled system show the significant reduction in requirement resources, testing and correction cost, and process complexity. This is largely due to the precision and simplicity of the tables.
متن کاملTowards a uniform relational semantics for tabular expressions
Parnas et al have proposed tabular expressions as a means to represent the complex rela tions that are used to specify or document software systems The idea is that a tabular expression is much easier to understand and verify than a long linear formula Tabular expressions are in tended to supplement not replace notations used by engineers They were found to be useful for describing large mathem...
متن کاملPrecise Documentation and Validation of Requirements
This paper outlines an approach to precise documentation and validation of system requirements. Precise documentation of requirements is important for developing and certifying mission critical software. Function tables have been used to document specifications of software components that are complete and disjoint. In this paper, function tables are embedded in an event based structure allowing...
متن کامل